A New Approach for Verification of Safety Integrity Levels
نویسنده
چکیده
The IEC standards 61508/61511 require that reliability targets for safety instrumented functions are defined and verified. The reliability targets are given as one out of a possible four safety integrity levels. For each safety integrity level there are many design requirements, including requirements for the probability of failure on demand. Verification of the requirements for the probability of failure on demand is usually based on a quantitative analysis. In this paper we argue that such an approach is better replaced by a semi-quantitative approach. The approach acknowledges that the probability of failure on demand requirement cannot be adequately verified only by reference to an assigned probability number. There is a need for seeing beyond the probability number. The key aspect to include is related to uncertainty.
منابع مشابه
A NEW PROTOCOL MODEL FOR VERIFICATION OF PAYMENT ORDER INFORMATION INTEGRITY IN ONLINE E-PAYMENT SYSTEM USING ELLIPTIC CURVE DIFFIE-HELLMAN KEY AGREEMENT PROTOCOL
Two parties that conduct a business transaction through the internet do not see each other personally nor do they exchange any document neither any money hand-to-hand currency. Electronic payment is a way by which the two parties transfer the money through the internet. Therefore integrity of payment and order information of online purchase is an important concern. With online purchase the cust...
متن کاملAn Overview on Edible Oils with Integrity Approach
The issue of the integrity of edible oils and fats can be considered in three main areas of safety, authenticity and quality in accordance with the standardization approach. Safety is the most essential part of the food, including edible oils, due to effects on health of consumers. Authenticity equivalent to purity is also an important aspect of this approach. The nature and prevention of fraud...
متن کاملRoad to safe autonomy with data and formal reasoning
We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-based, hybrid system reachability analysis with sensitivity analysis of components with unknown or inaccessible models. We illustrate the applicability of this approach with a new case study of emergency braking systems i...
متن کاملDuctile Failure and Safety Optimization of Gas Pipeline
Safety and failure in gas pipelines are very important in gas and petroleum industry. For this reason, it is important to study the effect of different parameters in order to reach the maximum safety in design and application. In this paper, a three dimensional finite element analysis is carried out to study the effect of crack length, crack depth, crack position, internal pressure and pipe thi...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کامل